<HTML><HEAD><TITLE>alldistinct(?List)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(fd)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>alldistinct(?List)</H1>
The elements of the list List are pairwise different.


<DL>
<DT><EM>?List</EM></DT>
<DD>A list of integers and domain variables.
</DD>
</DL>
<H2>Description</H2>
	This constraint imposes the constraint ##/2 on every pair of
	element of List.  It is just a compatibility alias for alldifferent/1.

<H3>Fail Conditions</H3>
   Fails if two element of the list are equal.


<H3>Resatisfiable</H3>
   No.
<H2>See Also</H2>
<A HREF="../../lib/fd/NN-2.html">:: / 2</A>, <A HREF="../../lib/fd/HNN-2.html">#:: / 2</A>, <A HREF="../../lib/fd/HH-2.html">## / 2</A>, <A HREF="../../lib/fd/alldifferent-1.html">alldifferent / 1</A>
</BODY></HTML>
